Lazy functional state threads
from
STモナド
Lazy functional state threads
John Launchbury
Simon Peyton Jones
https://dl.acm.org/doi/10.1145/178243.178246